121. AI*IA 2018 -- advances in artificial intelligence :
Author: Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
Classification :
Q334
122. Advanced Boolean techniques :
Author: editors, Rolf Drechsler and Mathias Soeken.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Boolean, Congresses.,Algebra, Boolean.
Classification :
QA10
.
3
.
I58
2018eb
123. Advanced mathematical & computational tools in metrology VII /
Author: editors, P. Ciarlini [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Measurement, Congresses.,Physical measurements, Congresses.,MATHEMATICS-- Measurement.,Measurement.,Physical measurements.,TECHNOLOGY & ENGINEERING-- Measurement.
Classification :
QA465
.
A273
2006eb
124. Advances in Computing, Communication, and Control :
Author: edited by Srija Unnikrishnan, Sunil Surve, Deepak Bhoir.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Computer software.
Classification :
QA75
.
5
E358
2013
125. Advances in Object-Oriented Graphics I
Author: edited by Edwin H. Blake, Peter Wisskirchen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Computer-aided design.
Classification :
T385
.
E358
1991
126. Advances in computers
Author: edited by Franz L. Alt and Morris Rubinoff.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Computers.,Electronic data processing.
Classification :
QA76
.
A3810
1970eb
127. Advances in information systems development :
Author: Nearchos Paspallis [and 5 others], editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information resources-- Development, Congresses.,Information resources management, Congresses.,Information storage and retrieval systems, Congresses.,System design, Congresses.,Business mathematics & systems.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information architecture.,Information resources management.,Information retrieval.,Information storage and retrieval systems.,Information technology: general issues.,System design.,User interface design & usability.
Classification :
QA76
.
9
.
S88
128. Advances in the design of symbolic computation systems
Author: / A. Miola and M. Temperini (eds.)
Library: Library of College of Science University of Tehran (Tehran)
Subject: System design,Object-oriented programming (Computer science),Mathematics -- Data processing
Classification :
QA
76
.
9
.
S88
A38
1997
129. Advances in the design of symbolic computation systems
Author: A. Miola and M. Temperini )eds.(,Series
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: System design,Object-oriented programming )Computer science(,Mathematics -- Data processing
Classification :
QA
.
S88
,
A38
76
.
9
1997
130. Algorithmic aspects in information and management :
Author: Shaojie Tang, Ding-Zhu Du, David Woodruff, Sergiy Butenko (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses.,Management science-- Data processing, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer algorithms.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Management science-- Data processing.,Mathematical theory of computation.
Classification :
QA76
.
9
.
A43
131. Algorithms for optimization /
Author: Mykel J. Kochenderfer, Tim A. Wheeler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms, Problems, exercises, etc.,Algorithms.,Mathematical optimization.,Algorithms.,Algorithmus,Mathematical optimization.
Classification :
QA9
.
58
.
K65425
2019
133. An Introductionn to Discrete Mathematics, Formal System Specification and Z
Author: / C.C. Ince
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science _ Mathematics.,System Design.
Classification :
QA76
,.
9
.
M
35
134. An introduction to discrete mathematics and formal system specification
Author: Ince, Darrel
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Computer science - Mathematics,، System design
Classification :
QA
76
.
9
.
M35
I53
1988
135. An introduction to discrete mathematics, formal system specification, and Z
Author: Ince, Darrel C.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، System design
Classification :
QA
76
.
9
.
M35I53
1992
136. An introduction to discrete mathematics, formal system specification, and Z
Author: Ince, Darrel
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Mathematics ، Computer science,، System design
Classification :
QA
76
.
9
.
M35153
1992
137. An introduction to discrete mathematics formal system specification and Z
Author: D. C. Ince
Library: Central library and Documentation Center (Zanjan)
Subject: ، Computer science - Mathematics,، System design
Classification :
QA
76
.
9
.
M35153
1992
138. An introduction to discrete mathematics, formal system specification, and Z
Author: Ince, D.)Darrel(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، System design
Classification :
QA
76
.
9
.
M35
I53
1992
139. An introduction to discrete mathematics formal system specification, and z
Author: / D.C.Ince
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science-Mathematics,System design
Classification :
QA76
.
9
.
M35
,
153
1992
140. An introduction to discrete mathematics, specification, and Z
Author: Ince, D. )Darrel(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Mathematics,، System design
Classification :
QA
76
.
9
.
M35
.
I53
1992
